Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers

Static Single Assignment (SSA) intermediate representations have become quite popular in compiler development. One advantage of the SSA form is that each variable corresponds to exactly one deenition, and thus two references of the same SSA variable must denote the same value. To date, most SSA forms concentrate on scalar variables, and it is diicult to extend these intermediate representations to languages with multi-level pointers, such as C. We introduce Extended SSA Numbering analysis, which concentrates on the \same name, same deenition" properties of SSA form while compromising on other aspects. What is not provided is well compensated for by new properties introduced for pointer references such as *p. Two references of *p with the same Extended SSA numbers denote the same value.